Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Nathalie Bertrand, Advanced Algorithms (ALGO2), 20h, L3, Univ Rennes 1, France;

• Licence: Nathalie Bertrand, Theory of Rational Languages (THLR), 26h, EPITA 2nd year, Rennes, France.

• Licence: Loïc Hélouët, JAVA and algorithms, L2, 40h, INSA de Rennes, France.

• Licence: Loïc Hélouët, Practical studies (development of a small project), 8h, INSA de Rennes, France.

• Master: Loïc Hélouët, Algorithms, 2h, Agrégation, ENS Rennes, France;

• Master: Nicolas Markey, Verification of Complex Systems (CSV), 10h, M2, Univ Rennes 1, France;

• Master: Nicolas Markey, Algorithms, 14h, Agrégation, ENS Rennes, France;

• Master : Nathalie Bertrand, Language Theory; Algorithms, 20h, Agrégation, ENS Rennes, France;

• Master: Ocan Sankur, Verification of Complex Systems (CSV), 10h, M2, Univ Rennes 1, France;

• Master: Ocan Sankur, Travaux pratiques, Analyse et Conception Formelle (ACF), 22h, M1, Univ Rennes 1, France;

• Master: Éric Fabre, Models and Algorithms for Distributed Systems (MADS), 10h, M2, Univ Rennes 1, France;

• Master: Éric Fabre Information Theory, 15h, M1, ENS Rennes, France.

Supervision

• PhD: Matthieu Pichené, Multi-level analysis in computational system biology : the case of HeLa cells under apoptosis treatment [2], Univ. Rennes 1. The defense took place on June 25, 2018, and was supervised by Blaise Genest.

• PhD: Engel Lefaucheux, Controlling information in probabilistic systems [1], Univ. Rennes 1. The defence took place on September 24, 2018, and was supervised by Nathalie Bertrand and Serge Haddad (ENS Paris-Saclay).

• PhD in progress: Hugo Bazille, Information flows in quantitative dynamic systems, started oct. 2016, Blaise Genest and Éric Fabre.

• PhD in progress: Sihem Cherrared, Diagnosis of multi-tenant programmable networks, started Dec. 2016, Éric Fabre, Gregor Goessler (Inria, Spades) and Sofiane Imadali (Orange).

• PhD in progress: Emily Clement, Verification and synthesis of control systems: efficiency and robustnes, started Dec. 2018, supervised by Thierry Jéron, Nicolas Markey, and David Mentré (Mitsubishi Electric)

• PhD in progress: Rodrigue Djeumen Djatcha, Collaborative Model for Urban Crowdsourcing, University of Douala, Cameroon, supervised by Éric Badouel.

• PhD in progress: Erij Elmajed, Diagnosis of reconfigurable systems, started March 2017, Éric Fabre and Armen Aghasaryan (Nokia).

• PhD in progress: Léo Henry, Optimal test-case generation with game theory, started Oct. 2018, supervised by Thierry Jéron and Nicolas Markey.

• PhD in progress: Karim Kecir, Régulation et robustesse des systèmes ferroviaires urbains, defense planned on the 1st semester 2019, supervised by Loïc Hélouët and Pierre Dersin (Alstom).

• PhD in progress: Anirban Majumdar, Games for distributed networks: models and algorithms, ENS Paris Saclay, France, supervised by Nathalie Bertrand and Patricia Bouyer.

• PhD in progress: Rituraj Singh, Data-centric Workflows for Crowdsourcing Applications, defense planned on February 2021, supervised by Loïc Hélouët.

• PhD in progress: Robert Fondze Jr Nsaibirni, A Guarded Attribute Grammar Based Model for User Centered, Distributed, and Collaborative Case Management – Case of the Disease Surveillance Process, University of Yaoundé, Cameroon, supervised by Éric Badouel.

• PhD in progress: The Anh Pham, Dynamic Formal Verification of High Performance Runtimes and Applications, started Nov. 2016, supervised by Thierry Jéron and Martin Quinson (Myriads, Inria Rennes).

• PhD in progress: Arthur Queffelec, Tradeoff between Robustness and Optimality in Strategic Reasoning, started Nov. 2018, supervised by Ocan Sankur and François Schwarzentruber (Logica, Irisa).

• PhD in progress: Victor Roussanaly, Efficient verification of timed systems, started Sep. 2017, supervised by Nicolas Markey and Ocan Sankur.

• PhD in progress: Suman Sadhukhan, Modelling and parameterized verification of mobile networks, started Oct. 2018, supervised by Nathalie Bertrand, Nicolas Markey, Ocan Sankur.

Master Students

• Ocan Sankur co-supervised the master's thesis (M2) of Arthur Queffelec.

• Thierry Jéron and Nicolas Markey supervised the master's thesis (M2) of Léo Henry.

• Nathalie Bertrand, Loïc Hélouët and Ocan Sankur supervised a training period (3 h/week during 6 months) for a group of master 1 students. The topic was application of model checking to assess the performance of regulation algorithms.

• Loïc Hélouët supervised the internship of master student Flavia Palmieri.

Other Internships

• L3 Intership of Mélanie Bratulic, supervised by Sophie Pinchinat (Logica, Irisa) and Thierry Jéron.

Juries

PhD Defenses

• Loïc Hélouët was an examiner in the PhD defense of Yann Duplouy, Ecole Normale Supérieure Paris-Saclay, November 2018.

• Thierry Jéron was a reviewer for the PhD thesis of Antoine EL HOKAYEM, Univ. Grenoble, December 2018.

• Nicolas Markey was a reviewer for the PhD thesis of Benedikt Brütsch (Decembre 20, 2018, Aachen, Germany; PhD student of Wolfgang Thomas); a reviewer for the PhD thesis of Petr Bezděk (on March 9, 2018, Masaryk University, Brno, Czech Republic; PhD student of Ivana Černá); and a reviewer for the PhD thesis of Nicola Gigante (January 2019, Udine, Italy; PhD student of Angelo Montanari).

• Nathalie Bertrand was an examiner for the PhD thesis of Philipp Schlehuber-Caissier, Sorbonne Université, December, 14 2018; a reviewer for the PhD thesis of Ľuboš Korenčiak, Masaryk University (Czech Republic), April 2018; and an examiner for the PhD thesis of Othmane Rezine, Uppsala University, January, 12 2018.

Other Juries

• Nathalie Bertrand was in the hiring committee for CRCN positions at Inria Rennes Bretagne Atlantique in 2018. She was also in the hiring committee for a Maitre de conférences position at Université Paris-Est Créteil in spring 2018.

Books

Nicolas Markey co-authored the chapter on Model Checking Real-Time Systems in the book Handbook of Model Checking [29].